Normalization via monoidal transformations

Investigating Explicit Model Transformations for Speaker Normalization

In this work we extend the test utterance adaptation technique used in vocal tract length normalization to a larger number of speaker characteristic features. We perform partially joint estimation of four features: the VTLN warping factor, the corner position of the piece-wise linear warping function, spectral tilt in voiced segments, and model variance scaling. In experiments on the Swedish PF...

Feature normalization using smoothed mixture transformations

We propose a method for estimating the parameters of SPLICElike transformations from individual utterances so that this type of transformation can be used to normalize acoustic feature vectors for speech recognition on an utterance-by-utterance basis in a similar manner to cepstral mean normalization. We report results on an in-house French language multi-speaker database collected while deploy...

Normalization via Rewrite Closures

Rsk via Local Transformations

RSK is normally defined in terms of a somewhat complicated procedure called row-insertion. This definition unfortunately masks the remarkable symmetry property that if A RSK 7−−−→ (P,Q) then At RSK 7−−−→ (Q,P ). Here we present an alternate description of RSK via local transformations that makes the symmetry obvious. Our approach is thus similar in spirit to the growth diagrams of Fomin [6]. In...

Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids

This paper studies the problem of coherence in category theory from a type-theoretic viewpoint. We rst show how a Curry-Howard interpretation of a formal proof of normalization for monoids almost directly yields a coherence proof for monoidal categories. Then we formalize this coherence proof in intensional intuitionistic type theory and show how it relies on explicit reasoning about proof obje...